🧮 SMT Solvers - hello · Scour

SCULPT: Constraint-Guided Pruned MCTS that Carves Efficient Paths for Mathematical Reasoning

arxiv.org·21h

🧩Constraint Programming

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🔍eBPF Verifier

**Abstract:** This research proposes a novel system, the Recursive Proof Verification Engine (RPVE), that dramatically accelerates the verification of theore...

freederia.com·2d

Building a mini PyTorch in C++ from scratch as a high school student...

dev.to·13h·

Discuss: DEV

🧮Vector Databases

AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems

arxiv.org·21h

🧩Constraint Programming

Algebra Problems of the Day (Algebra Regents, August 2025 Part I)

mrburkemath.blogspot.com·12h·

Discuss: Blogger

📐Linear Algebra

Rust async combinators for elegant and secure concurrency

kerkour.com·20h·

Discuss: r/rust

Simple Sudoku Solvers SII, EI: Dyalog APL

blog.veitheller.de·2d

🧩Constraint Programming

Krylov Complexity of Purification

link.aps.org·15h

🔢Homomorphic Encryption

No Libraries No Shortcuts: Reasoning LLMs from Scratch with PyTorch — Part 2

pub.towardsai.net

·2d

producthunt.com·23h

Taking the axe to AI

newelectronics.co.uk·14h

Subterms Modulo Theories I

philipzucker.com·3d

🔍Type Inference

Binary Algorithms

exystence.net·1d

⏭️Skip Lists

GNU C Language Manual

gnu.org·6h

🔨Compiler Design

Uncovering Unfaithful CoT in Deceptive Models

lesswrong.com·21m

🛡️AI Security

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·14h

🦀Rust Macros

MathGPT Graphing: fast interactive graphs with AI help

mathgpt.today·8h·

Discuss: Hacker News

🔢Numerical Methods

istmarc/tenseur: C++23 Tensor, neural networks and mathematical library

github.com·7h·

Discuss: r/cpp

DELTA-X: An Invariant, Auditable Reasoning Framework for Humans and AI

osf.io·1d·

Discuss: DEV

🔍Datalog Engines

Loading more...